function ExtensionEval() {
	if( typeof jQuery == "function") {
		
		var a = jQuery("<div></div>");
		a.attr("id", "extension-root");
		a.attr("style", "display:none");
		
		var b = "";
		for(method in jQuery.fn) {
			b = b + "," + method
		}
		b = b.substring(1);
		a.html(b);
		a.appendTo("#jquery-inspector")
	} else {
		var c = document.createElement("div");
		c.id = "extension-root";
		c.style = "display:none";
		
		document.getElementById('jquery-inspector').appendChild(c);
	}
}